A Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation of Resources
نویسندگان
چکیده
In this paper, we present a method for the synthesis of extended Petri net based distributed specification. Although a lot of synthesis methods have been proposed, only a few synthesis methods have treated resources (computational data) such as databases and files. In contrast to previous methods that assume some fixed resource allocation, our method finds an optimal resource allocation that optimizes the derived distributed specification, based on some reasonable communication cost criteria. The method starts by identifying the set of rules for deriving a protocol specification from a given service specification. Based on these rules, an optimal resource allocation problem is formulated using an integer linear programming model. An example application is discussed.
منابع مشابه
Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources
In this paper, we present a method for the synthesis of extended Petri net based distributed specification. Our method finds an optimal allocation of resources (computational data) that optimizes the derived distributed specification, based on some reasonable communication cost criteria.
متن کاملUsing the Modified Shuffled Frog Leaping Algorithm for Optimal Sizing and location of Distributed Generation Resources for Reliability Improvement
Restructuring the recent developments in the power system and problems arising from construction as well as the maintenance of large power plants lead to increase in using the Distributed Generation (DG) resources. DG units due to its specifications, technology and location network connectivity can improve system and load point reliability indices. In this paper, the allocation and sizing of di...
متن کاملSynthesis of Active Controller for Resources Allocation Systems
In this paper, we present a controller synthesis method for resource allocation systems based on coloured Petri nets (CPN). The first contribution of this work is the use of High-level Petri nets as a basis model for the specification of the plant model as well as for the controller generation. Indeed, we present an automatic generation of a controller characterised by a CPN subnet (with a fixe...
متن کاملDetermination of Optimal Allocation and Penetration Level of Distributed Energy Resources Considering Short Circuit Currents
The integration of Distributed Energy Resources (DER) in the distribution network has plenty of advantages if their allocation and Penetration Level (PL) are done appropriately. Hence, the challenge of finding the best allocation and PL of DERs in large distribution networks is an important but intricate problem. This paper proposes a novel methodology to simultaneously determine the optimal lo...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کامل